Partition-Oriented Test Generation
نویسنده
چکیده
In this paper, we deal with input partition-oriented, model-based test suite generation. We extend existing control-flow-based coverage criteria, describe corresponding tool support, and present an exemplary evaluation based on mutation analysis. All explanations are substantiated by an example of a freight elevator.
منابع مشابه
Similarity Testing by Proof and Analysis of Partition for Object Oriented Specifications
The work presented in this paper is devoted to establish the theoretical model for the evaluation of the behavior of redefined methods in a subclass with the behavior of the original methods in the super-class using the inheritance mechanism. We analyze firstly, how a redefined method can use the specification of its corresponding method in the super-class. Secondly, we present the relationship...
متن کاملMulti-objective Differential Evolution Algorithm based on Adaptive Mutation and Partition Selection
A multi-objective differential evolution algorithm based on adaptive mutation strategies and partition selected search is proposed based on classical differential evolution (DE) to further improve the convergence and diversity of multi-objective optimization problems. This algorithm improves mutation operation in DE, makes search oriented and ensures the convergence of algorithm by adaptively s...
متن کاملTest Case Generation for Class - Level Object - Oriented Testing *
In this paper, we discuss a new testing process to generate test cases for object-oriented programs. We focus on classes with mutable objects. The test case construction process is guided by formal object-oriented specifications. In our approach, testers first analyze the formal specification of a class to partition the state space of the class and identify a test model that is based on finite-...
متن کاملA Refinement of the Category - Partition Method of Testing
The migration from conventional to object-oriented programming, is far from a smooth process owing to the fact that developers have to considerably modify the modus operandi in the new environment. In particular, reliability assurance in the new circumstances poses difficult challenges. Developers need understanding of effective ways to test the software. This paper explores the possibilities o...
متن کاملAutomated Evolutionary Test Data Generation with Domain Reduction for Aspect-Oriented Programs
Aspect-Oriented Programming is an emerging technique that helps improve separation of concerns in software systems. It has received a great deal of recent interest. However, algorithms and empirical results for testing of aspect-oriented programs are lagging some way behind this upsurge in interest. To date, there are few published approaches to automated test data generation for aspectoriented...
متن کامل